euclid’s division lemma